-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path7.2.6 Miscellaneous inverse hyperbolic cosine.nb
10944 lines (10693 loc) · 529 KB
/
7.2.6 Miscellaneous inverse hyperbolic cosine.nb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 7.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 145, 7]
NotebookDataLength[ 530057, 10935]
NotebookOptionsPosition[ 517187, 10601]
NotebookOutlinePosition[ 518807, 10653]
CellTagsIndexPosition[ 518764, 10650]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[Cell[TextData[StyleBox["Rules for integrands involving inverse \
hyperbolic cosines",
FontFamily->"Arial"]], "None"]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.4965234353062396`*^9, {3.5193214825316973`*^9, 3.5193214852617016`*^9}, {
3.523316399894187*^9, 3.5233164032341914`*^9}, {3.523318350558202*^9,
3.5233183516382036`*^9}, {3.536542725780803*^9, 3.536542725780803*^9}, {
3.5367764878952584`*^9, 3.5367764886452594`*^9}, {3.544322815209103*^9,
3.5443228192963104`*^9}, {3.5450662624913826`*^9, 3.545066292141424*^9}, {
3.545066402271579*^9, 3.5450664054415827`*^9}, {3.5450834884295015`*^9,
3.5450834895895033`*^9}, {3.5454961263762493`*^9,
3.5454961321462574`*^9}, {3.5454963863166127`*^9,
3.5454964580867133`*^9}, {3.545497046127537*^9, 3.545497046127537*^9}, {
3.5454971130676303`*^9, 3.545497136257663*^9}, 3.545610399977621*^9, {
3.546040778592962*^9, 3.546040778592962*^9}, {3.5461052065706367`*^9,
3.5461052249474688`*^9}, {3.546191339879622*^9, 3.5461913430596266`*^9}, {
3.5462141824067917`*^9, 3.5462142145768366`*^9}, {3.5462145455473003`*^9,
3.5462145601073203`*^9}, {3.5463149785974817`*^9,
3.5463149794195285`*^9}, {3.5488738437683954`*^9,
3.5488738699084315`*^9}, {3.5488890647645535`*^9, 3.548889080804576*^9}, {
3.5505951583099127`*^9, 3.5505951620351257`*^9}, {3.5758457803910656`*^9,
3.5758457938510847`*^9}, {3.5758458780912023`*^9,
3.5758458797312045`*^9}, {3.5758460250714083`*^9, 3.575846028691413*^9}, {
3.5758461031815176`*^9, 3.575846103681518*^9}, {3.5758463018517957`*^9,
3.5758463042917986`*^9}, {3.5758464155019546`*^9, 3.575846417191957*^9}, {
3.751387206952307*^9, 3.751387206952307*^9}},
TextAlignment->Center,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{Cell[TextData[StyleBox["1.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9,
3.5194037847117205`*^9}, 3.52105258275843*^9, 3.5210531741726685`*^9, {
3.521057461672199*^9, 3.5210574760242243`*^9}, {3.521059881564049*^9,
3.521059886088057*^9}, {3.5213902158895197`*^9, 3.521390217543123*^9}, {
3.521390827878595*^9, 3.521390829376197*^9}, {3.5214688792561245`*^9,
3.521468879443325*^9}, {3.523320201951167*^9, 3.523320202247567*^9}, {
3.5288596764894824`*^9, 3.5288596768094826`*^9}, {3.529196266260353*^9,
3.5291962665099535`*^9}, {3.5291997050223927`*^9,
3.5291997052563934`*^9}, {3.529201346457276*^9, 3.529201347252877*^9}, {
3.529285041073242*^9, 3.5292850412632427`*^9}, {3.529285215443486*^9,
3.529285215443486*^9}, {3.5295115356999426`*^9, 3.5295115433443794`*^9}, {
3.529521412127842*^9, 3.529521414647986*^9}, {3.529529429975619*^9,
3.529529432955224*^9}, 3.5340074894011116`*^9, 3.5415537711400824`*^9, {
3.5415538454742126`*^9, 3.54155384951462*^9}, {3.5417297197063265`*^9,
3.5417297252443366`*^9}, {3.546297494083555*^9, 3.5462974982435613`*^9}, {
3.5462989134855423`*^9, 3.5462989153655453`*^9}, 3.548544146508506*^9,
3.5488738855784535`*^9, {3.5505953688729563`*^9, 3.5505953726861744`*^9}, {
3.550619508681926*^9, 3.5506195174954305`*^9}, {3.551326301250945*^9,
3.551326301841979*^9}, {3.552150760656293*^9, 3.552150761436294*^9},
3.5521509768882723`*^9, {3.5521510341403728`*^9, 3.5521510486171985`*^9}, {
3.5521511118909097`*^9, 3.5521511159313164`*^9}, 3.55215165895267*^9,
3.552151705315952*^9, 3.553532182175474*^9, {3.553559669357978*^9,
3.5535596696079783`*^9}, {3.5535605644192314`*^9,
3.5535605652692327`*^9}, {3.5535610430699015`*^9, 3.5535610432399015`*^9},
3.5535614789405117`*^9, {3.5535616244807153`*^9, 3.5535616246407156`*^9}, {
3.5548523491989403`*^9, 3.5548523662029705`*^9}, 3.5548704576963353`*^9,
3.5549147309224463`*^9, {3.5854219518256783`*^9, 3.5854219520908785`*^9},
3.5859668596091146`*^9, 3.5861972625763874`*^9, 3.586810113476261*^9, {
3.6201606903997126`*^9, 3.6201606906097245`*^9}, 3.751387478746853*^9},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9},
3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9,
3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9,
3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9,
3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9,
3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9},
3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9,
3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9,
3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9,
3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9,
3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9,
3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9,
3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9,
3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9},
3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9,
3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9},
3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9,
3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9},
3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9},
3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9,
3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9,
3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9,
3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9,
3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9},
3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9,
3.5508025179152374`*^9}, {3.5508029261175857`*^9,
3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9},
3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9,
3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
3.5535606916294093`*^9, 3.553560715209442*^9}, {3.553560906999711*^9,
3.553560912889719*^9}, {3.5535610183798666`*^9, 3.5535610197098684`*^9}, {
3.553561508580553*^9, 3.553561525080576*^9}, {3.553561837431013*^9,
3.5535618536710362`*^9}, {3.5535619201511292`*^9,
3.5535619523911743`*^9}, {3.5535620174212656`*^9,
3.5535620246412754`*^9}, {3.5535620731313434`*^9, 3.553562091691369*^9}, {
3.5548437612135344`*^9, 3.554843779231566*^9}, {3.554845668486864*^9,
3.554845668486864*^9}, 3.554846587957676*^9, {3.554850324510604*^9,
3.554850326273407*^9}, {3.5548521325369625`*^9, 3.554852149989793*^9}, {
3.554855215956929*^9, 3.554855217206931*^9}, 3.554870463309656*^9, {
3.554870541980156*^9, 3.554870546187397*^9}, {3.55487079642971*^9,
3.5548707967357273`*^9}, 3.5549147684524984`*^9, {3.555012522055829*^9,
3.555012545235862*^9}, {3.585340556527484*^9, 3.585340566437498*^9},
3.5853741424798603`*^9, 3.585374309025753*^9, 3.585966860109115*^9, {
3.5859671075469723`*^9, 3.5859671131919804`*^9}, 3.5861972626063876`*^9, {
3.5861973542615213`*^9, 3.586197358011527*^9}, 3.5868101134918613`*^9,
3.7513874793968897`*^9},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Integration by substitution", "Subsubsection",
CellChangeTimes->{{3.5548453965647893`*^9, 3.554845399419594*^9}, {
3.5548705769061537`*^9, 3.554870577589193*^9}, {3.5853741684071054`*^9,
3.5853741703103094`*^9}}],
Cell["Rule:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.48070534977779*^9, {3.4928296953212276`*^9, 3.492829707041244*^9},
3.4941724084687696`*^9, 3.4941724567488375`*^9, {3.4941737492506466`*^9,
3.4941737506706486`*^9}, {3.494173966810951*^9, 3.494174007671008*^9}, {
3.4941741326011834`*^9, 3.4941741425911975`*^9}, {3.4941767936905165`*^9,
3.494176809630539*^9}, {3.4941773316412697`*^9, 3.494177333751273*^9}, {
3.4941891756608777`*^9, 3.494189178765283*^9}, {3.4942004775317707`*^9,
3.494200477881771*^9}, {3.554843813298024*^9, 3.554843813298024*^9}, {
3.554845673744074*^9, 3.554845673744074*^9}, {3.554870754078287*^9,
3.554870754078287*^9}, {3.555012525615834*^9, 3.555012525615834*^9}, {
3.585340571397505*^9, 3.585340571397505*^9}, 3.5853742369692264`*^9, {
3.5859671872870874`*^9, 3.5859671961246*^9}, 3.5861973657740383`*^9}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox["1", "d"]}]}], " ",
RowBox[{"Subst", "[",
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[", "x", "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}]}]}], ",", "x", ",",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}]}], "]"}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579734230976`*^9, 3.4796580026851745`*^9}, {
3.479658101347043*^9, 3.479658102348483*^9}, {3.4796582237129965`*^9,
3.4796582279090304`*^9}, {3.4796611944647284`*^9, 3.4796612203719807`*^9},
3.4796613933206687`*^9, {3.4796614761798143`*^9, 3.4796614777420607`*^9},
3.4796618658000607`*^9, {3.4796619856624146`*^9, 3.4796619866938972`*^9}, {
3.4796645712002354`*^9, 3.4796645805536847`*^9}, 3.4796646283424015`*^9, {
3.4796867206148047`*^9, 3.4796867206148047`*^9}, {3.479687667676613*^9,
3.479687667926973*^9}, 3.480705232098576*^9, {3.49400087421271*^9,
3.49400087421371*^9}, {3.494022456770984*^9, 3.4940224580430565`*^9}, {
3.494179204577314*^9, 3.4941792454181857`*^9}, {3.5548438228296413`*^9,
3.5548438799881415`*^9}, {3.5548439151370025`*^9, 3.554843915449003*^9}, {
3.5548454415728674`*^9, 3.5548454423996687`*^9}, {3.554845575046702*^9,
3.554845575826703*^9}, 3.554845643328821*^9, {3.5548464738746758`*^9,
3.5548465413759937`*^9}, {3.5548466459273777`*^9, 3.5548466842878447`*^9},
3.5548705598041754`*^9, 3.585340240067041*^9, 3.585362906443381*^9, {
3.5853741744131165`*^9, 3.5853742167515907`*^9}, {3.5859668608241167`*^9,
3.585966861304117*^9}, {3.5861972626163874`*^9, 3.5861972626263876`*^9}, {
3.5868101135074615`*^9, 3.5868101135074615`*^9}, {3.75138748010293*^9,
3.7513874805779576`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*",
RowBox[{"ArcCosh", "[",
RowBox[{"c_", "+",
RowBox[{"d_.", "*", "x_"}]}], "]"}]}]}], ")"}], "^", "n_."}], ",",
"x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{"1", "/", "d"}], "*",
RowBox[{"Subst", "[",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"ArcCosh", "[", "x", "]"}]}]}], ")"}], "^", "n"}], ",",
"x"}], "]"}], ",", "x", ",",
RowBox[{"c", "+",
RowBox[{"d", "*", "x"}]}]}], "]"}]}], " ", "/;", "\n",
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "c", ",", "d", ",", "n"}], "}"}], ",",
"x"}], "]"}]}]}]], "Code",
CellChangeTimes->{{3.49400087422171*^9, 3.4940008742237105`*^9}, {
3.494022461285242*^9, 3.4940224616042604`*^9}, 3.4941791634400415`*^9,
3.494179261657814*^9, {3.4943677210722713`*^9, 3.494367728102281*^9}, {
3.5534032187143383`*^9, 3.5534032241043453`*^9}, {3.5548439697526984`*^9,
3.5548439881139307`*^9}, {3.554844018487184*^9, 3.5548440289704027`*^9},
3.5548456756940775`*^9, {3.5548457527426124`*^9, 3.5548457557534175`*^9},
3.5548468489617343`*^9, {3.554846905060232*^9, 3.554846930753477*^9}, {
3.5548706448400393`*^9, 3.5548706515384226`*^9}, {3.5548707559643955`*^9,
3.5548707665480003`*^9}, 3.5548708080363736`*^9, {3.5550125288858385`*^9,
3.5550125515858707`*^9}, 3.585339948616633*^9, {3.5853405751775103`*^9,
3.5853405757375107`*^9}, 3.5853624205827007`*^9, 3.5853629142433915`*^9, {
3.585374269401683*^9, 3.5853742856257114`*^9}, 3.5854222509718037`*^9, {
3.5859669116716895`*^9, 3.58596691216169*^9}, {3.5859671764570713`*^9,
3.585967181657079*^9}, {3.58619727785141*^9, 3.58619727787141*^9}, {
3.5861973733340497`*^9, 3.586197382934064*^9}, {3.5868101254414825`*^9,
3.5868101254570827`*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["2:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9},
3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9,
3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9,
3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9,
3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9,
3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9},
3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9,
3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9,
3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9,
3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9,
3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9,
3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9,
3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9,
3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9},
3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9,
3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9},
3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9,
3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9},
3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9},
3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9,
3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9,
3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9,
3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9,
3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9},
3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9,
3.5508025179152374`*^9}, {3.5508029261175857`*^9,
3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9},
3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9,
3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
3.5535606916294093`*^9, 3.553560715209442*^9}, {3.553560906999711*^9,
3.553560912889719*^9}, {3.5535610183798666`*^9, 3.5535610197098684`*^9}, {
3.553561508580553*^9, 3.553561525080576*^9}, {3.553561837431013*^9,
3.5535618536710362`*^9}, {3.5535619201511292`*^9,
3.5535619523911743`*^9}, {3.5535620174212656`*^9,
3.5535620246412754`*^9}, {3.5535620731313434`*^9, 3.553562091691369*^9}, {
3.5548437612135344`*^9, 3.554843779231566*^9}, {3.554845668486864*^9,
3.554845668486864*^9}, 3.554846587957676*^9, {3.554850324510604*^9,
3.554850326273407*^9}, {3.5548521325369625`*^9, 3.554852149989793*^9}, {
3.554855215956929*^9, 3.554855217206931*^9}, 3.554870463309656*^9, {
3.554870541980156*^9, 3.554870546187397*^9}, {3.55487079642971*^9,
3.5548707967357273`*^9}, 3.5549147684524984`*^9, {3.555012522055829*^9,
3.555012545235862*^9}, {3.585340556527484*^9, 3.585340566437498*^9},
3.5853741424798603`*^9, 3.585374309025753*^9, {3.585374340491008*^9,
3.5853743504906254`*^9}, {3.585374414372738*^9, 3.585374416868742*^9}, {
3.585374625175908*^9, 3.585374630261517*^9}, {3.585375058263869*^9,
3.585375065705082*^9}, 3.5853755426915197`*^9, 3.5859668627791195`*^9, {
3.5859674112674103`*^9, 3.585967412817413*^9}, {3.5859675567976203`*^9,
3.5859675567976203`*^9}, 3.5861972627363873`*^9, {3.586197465194186*^9,
3.586197473326703*^9}, {3.5862125664151125`*^9, 3.5862125673876143`*^9},
3.5863644876088266`*^9, {3.586364720769161*^9, 3.5863647224141636`*^9},
3.5868101135386615`*^9, 3.75138748150401*^9},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Integration by substitution", "Subsubsection",
CellChangeTimes->{{3.5548453965647893`*^9, 3.554845399419594*^9}, {
3.5548705769061537`*^9, 3.554870577589193*^9}, {3.5853741684071054`*^9,
3.5853741703103094`*^9}, {3.5853747071228523`*^9, 3.585374720164475*^9}, {
3.586364380673673*^9, 3.586364382278675*^9}}],
Cell["Rule:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.48070534977779*^9, {3.4928296953212276`*^9, 3.492829707041244*^9},
3.4941724084687696`*^9, 3.4941724567488375`*^9, {3.4941737492506466`*^9,
3.4941737506706486`*^9}, {3.494173966810951*^9, 3.494174007671008*^9}, {
3.4941741326011834`*^9, 3.4941741425911975`*^9}, {3.4941767936905165`*^9,
3.494176809630539*^9}, {3.4941773316412697`*^9, 3.494177333751273*^9}, {
3.4941891756608777`*^9, 3.494189178765283*^9}, {3.494196711119521*^9,
3.4941967113535213`*^9}, {3.4941972738717093`*^9,
3.4941972799089203`*^9}, {3.49420053403185*^9, 3.494200549361871*^9}, {
3.5549127564596815`*^9, 3.5549127564596815`*^9}, {3.554913675900969*^9,
3.554913675900969*^9}, {3.5549163276946816`*^9, 3.5549163278646812`*^9}, {
3.5549327082264223`*^9, 3.554932709466424*^9}, {3.555113852377147*^9,
3.5551138579971547`*^9}, {3.555197867819059*^9, 3.555197867819059*^9}, {
3.585374439426382*^9, 3.585374439629182*^9}, {3.5859675110275545`*^9,
3.5859675110275545`*^9}, {3.5861974770117083`*^9, 3.5861974770117083`*^9},
3.5863643919936895`*^9}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox["1", "d"]}]}],
RowBox[{"Subst", "[",
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{
FractionBox[
RowBox[{
RowBox[{"d", " ", "e"}], "-",
RowBox[{"c", " ", "f"}]}], "d"], "+",
FractionBox[
RowBox[{"f", " ", "x"}], "d"]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[", "x", "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}]}]}], ",", "x", ",",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}]}], "]"}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579734230976`*^9, 3.4796580026851745`*^9}, {
3.479658101347043*^9, 3.479658102348483*^9}, {3.4796582237129965`*^9,
3.4796582279090304`*^9}, {3.4796611944647284`*^9, 3.4796612203719807`*^9},
3.4796613933206687`*^9, {3.4796614761798143`*^9, 3.4796614777420607`*^9},
3.4796618658000607`*^9, {3.4796619856624146`*^9, 3.4796619866938972`*^9}, {
3.4796645712002354`*^9, 3.4796645805536847`*^9}, 3.4796646283424015`*^9, {
3.4796867206148047`*^9, 3.4796867206148047`*^9}, {3.479687667676613*^9,
3.479687667926973*^9}, 3.480705232098576*^9, {3.49400087421271*^9,
3.49400087421371*^9}, {3.494022456770984*^9, 3.4940224580430565`*^9}, {
3.494179204577314*^9, 3.4941792454181857`*^9}, {3.5548438228296413`*^9,
3.5548438799881415`*^9}, {3.5548439151370025`*^9, 3.554843915449003*^9}, {
3.5548454415728674`*^9, 3.5548454423996687`*^9}, {3.554845575046702*^9,
3.554845575826703*^9}, 3.554845643328821*^9, {3.5548464738746758`*^9,
3.5548465413759937`*^9}, {3.5548466459273777`*^9, 3.5548466842878447`*^9},
3.5548705598041754`*^9, 3.585340240067041*^9, 3.585362906443381*^9, {
3.5853741744131165`*^9, 3.5853742167515907`*^9}, {3.5853744477411966`*^9,
3.5853744745888433`*^9}, {3.5853745336349473`*^9, 3.585374553384582*^9}, {
3.585374830628269*^9, 3.5853748604867215`*^9}, {3.585374917036821*^9,
3.5853749190492244`*^9}, {3.58596686335912*^9, 3.585966864159121*^9}, {
3.5861972627563877`*^9, 3.5861972627763877`*^9}, 3.5862765151984787`*^9, {
3.5863644005437016`*^9, 3.5863644094387145`*^9}, {3.5863645008088455`*^9,
3.5863645524889193`*^9}, {3.586364596538983*^9, 3.586364597873985*^9}, {
3.5868101135698614`*^9, 3.5868101135698614`*^9}, {3.7513874820300407`*^9,
3.7513874826790776`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"e_.", "+",
RowBox[{"f_.", "*", "x_"}]}], ")"}], "^", "m_."}], "*",
RowBox[{
RowBox[{"(",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*",
RowBox[{"ArcCosh", "[",
RowBox[{"c_", "+",
RowBox[{"d_.", "*", "x_"}]}], "]"}]}]}], ")"}], "^", "n_."}]}],
",", "x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{"1", "/", "d"}], "*",
RowBox[{"Subst", "[",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"d", "*", "e"}], "-",
RowBox[{"c", "*", "f"}]}], ")"}], "/", "d"}], "+",
RowBox[{"f", "*",
RowBox[{"x", "/", "d"}]}]}], ")"}], "^", "m"}], "*",
RowBox[{
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"ArcCosh", "[", "x", "]"}]}]}], ")"}], "^", "n"}]}], ",",
"x"}], "]"}], ",", "x", ",",
RowBox[{"c", "+",
RowBox[{"d", "*", "x"}]}]}], "]"}]}], " ", "/;", "\n",
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{
"a", ",", "b", ",", "c", ",", "d", ",", "e", ",", "f", ",", "m", ",",
"n"}], "}"}], ",", "x"}], "]"}]}]}]], "Code",
CellChangeTimes->{{3.49400087422171*^9, 3.4940008742237105`*^9}, {
3.494022461285242*^9, 3.4940224616042604`*^9}, 3.4941791634400415`*^9,
3.494179261657814*^9, {3.4943677210722713`*^9, 3.494367728102281*^9}, {
3.5534032187143383`*^9, 3.5534032241043453`*^9}, {3.5548439697526984`*^9,
3.5548439881139307`*^9}, {3.554844018487184*^9, 3.5548440289704027`*^9},
3.5548456756940775`*^9, {3.5548457527426124`*^9, 3.5548457557534175`*^9},
3.5548468489617343`*^9, {3.554846905060232*^9, 3.554846930753477*^9}, {
3.5548706448400393`*^9, 3.5548706515384226`*^9}, {3.5548707559643955`*^9,
3.5548707665480003`*^9}, 3.5548708080363736`*^9, {3.5550125288858385`*^9,
3.5550125515858707`*^9}, 3.585339948616633*^9, {3.5853405751775103`*^9,
3.5853405757375107`*^9}, 3.5853624205827007`*^9, 3.5853629142433915`*^9, {
3.585374269401683*^9, 3.585374276780496*^9}, {3.5853750815235095`*^9,
3.58537512721599*^9}, {3.5853751749520736`*^9, 3.5853751896473*^9},
3.5854222534366083`*^9, {3.5859669128816915`*^9, 3.585966913361692*^9},
3.5859675354325895`*^9, {3.5859675935901737`*^9, 3.5859675937901735`*^9}, {
3.5861972779114103`*^9, 3.58619727792141*^9}, {3.586197481979221*^9,
3.586197495789241*^9}, {3.586364753414208*^9, 3.5863647613942194`*^9},
3.586364793854266*^9, {3.5868101254570827`*^9, 3.5868101254726825`*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["3:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"A", "+",
RowBox[{"B", " ", "x"}], "+",
RowBox[{"C", " ",
SuperscriptBox["x", "2"]}]}], ")"}], "p"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{
RowBox[{"B", " ",
RowBox[{"(",
RowBox[{"1", "-",
SuperscriptBox["c", "2"]}], ")"}]}], "+",
RowBox[{"2", " ", "A", " ", "c", " ", "d"}]}], "\[Equal]", "0"}],
" ", "\[And]", " ",
RowBox[{
RowBox[{
RowBox[{"2", " ", "c", " ", "C"}], "-",
RowBox[{"B", " ", "d"}]}], "\[Equal]", "0"}]}]]]],
"None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9},
3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9,
3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9,
3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9,
3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9,
3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9},
3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9,
3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9,
3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9,
3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9,
3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9,
3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9,
3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9,
3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9},
3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9,
3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9},
3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9,
3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9},
3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9},
3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9,
3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9,
3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9,
3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9,
3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9},
3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9,
3.5508025179152374`*^9}, {3.5508029261175857`*^9,
3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9},
3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9,
3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
3.5535606916294093`*^9, 3.553560715209442*^9}, {3.553560906999711*^9,
3.553560912889719*^9}, {3.5535610183798666`*^9, 3.5535610197098684`*^9}, {
3.553561508580553*^9, 3.553561525080576*^9}, {3.553561837431013*^9,
3.5535618536710362`*^9}, {3.5535619201511292`*^9,
3.5535619523911743`*^9}, {3.5535620174212656`*^9,
3.5535620246412754`*^9}, {3.5535620731313434`*^9, 3.553562091691369*^9}, {
3.5548437612135344`*^9, 3.554843779231566*^9}, {3.554845668486864*^9,
3.554845668486864*^9}, 3.554846587957676*^9, {3.554850324510604*^9,
3.554850326273407*^9}, {3.5548521325369625`*^9, 3.554852149989793*^9}, {
3.554855215956929*^9, 3.554855217206931*^9}, 3.554870463309656*^9, {
3.554870541980156*^9, 3.554870546187397*^9}, {3.55487079642971*^9,
3.5548707967357273`*^9}, 3.5549147684524984`*^9, {3.555012522055829*^9,
3.555012545235862*^9}, {3.585340556527484*^9, 3.585340566437498*^9},
3.5853741424798603`*^9, 3.585374309025753*^9, {3.585374340491008*^9,
3.5853743504906254`*^9}, {3.585374414372738*^9, 3.585374416868742*^9}, {
3.585374625175908*^9, 3.585374630261517*^9}, {3.585375058263869*^9,
3.585375065705082*^9}, 3.5853755426915197`*^9, {3.585375652843313*^9,
3.5853756696133423`*^9}, {3.585420171581752*^9, 3.5854201949193926`*^9}, {
3.58542067728784*^9, 3.585420679409444*^9}, 3.5859668674591255`*^9, {
3.585967915380638*^9, 3.5859679234606495`*^9}, 3.5859680425033216`*^9, {
3.5860197420241604`*^9, 3.5860197420241604`*^9}, {3.58601978992673*^9,
3.58601978992673*^9}, 3.586197262918888*^9, {3.586197589191882*^9,
3.5861976059444065`*^9}, {3.5861977632221375`*^9,
3.5861977632221375`*^9}, {3.586197986607463*^9, 3.586197986607463*^9}, {
3.5864622927713585`*^9, 3.5864623036963744`*^9}, 3.586810113601062*^9, {
3.5870635943387985`*^9, 3.5870635943387985`*^9}, 3.7513874844891815`*^9, {
3.7513878355442605`*^9, 3.7513878355442605`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Integration by substitution", "Subsubsection",
CellChangeTimes->{{3.5548453965647893`*^9, 3.554845399419594*^9}, {
3.5548705769061537`*^9, 3.554870577589193*^9}, {3.5853741684071054`*^9,
3.5853741703103094`*^9}, {3.5853747071228523`*^9, 3.585374720164475*^9}, {
3.58542037566131*^9, 3.58542038132412*^9}, {3.5864623119963865`*^9,
3.5864623140013895`*^9}}],
Cell[TextData[{
"Basis: If ",
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{
RowBox[{"B", " ",
RowBox[{"(",
RowBox[{"1", "-",
SuperscriptBox["c", "2"]}], ")"}]}], "+",
RowBox[{"2", " ", "A", " ", "c", " ", "d"}]}], "\[Equal]", "0"}], " ",
"\[And]", " ",
RowBox[{
RowBox[{
RowBox[{"2", " ", "c", " ", "C"}], "-",
RowBox[{"B", " ", "d"}]}], "\[Equal]", "0"}]}]]],
", then ",
Cell[BoxData[
RowBox[{
RowBox[{"A", "+",
RowBox[{"B", " ", "x"}], "+",
RowBox[{"C", " ",
SuperscriptBox["x", "2"]}]}], "\[Equal]",
RowBox[{
RowBox[{"-",
FractionBox["C",
SuperscriptBox["d", "2"]]}], "+",
RowBox[{
FractionBox["C",
SuperscriptBox["d", "2"]],
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], ")"}], "2"]}]}]}]],
CellChangeTimes->{{3.5853747438453164`*^9, 3.5853747968854094`*^9}}]
}], "Subsubsection",
CellChangeTimes->{{3.5548453965647893`*^9, 3.554845399419594*^9}, {
3.5548705769061537`*^9, 3.554870577589193*^9}, {3.5853741684071054`*^9,
3.5853741703103094`*^9}, {3.5853747071228523`*^9,
3.5853747339548993`*^9}, {3.5853747899277973`*^9, 3.585374807961429*^9}, {
3.585420281093944*^9, 3.585420299002775*^9}, 3.5854205978369*^9, {
3.5859681278384447`*^9, 3.585968139723462*^9}, {3.586019411153682*^9,
3.5860194196761947`*^9}, {3.5860195846239333`*^9,
3.5860195846239333`*^9}, {3.586019660059042*^9, 3.5860196628740463`*^9}, {
3.5861977632221375`*^9, 3.5861977632221375`*^9}, {3.586197952714914*^9,
3.586197956129919*^9}, {3.586197999037481*^9, 3.586197999037481*^9}, {
3.586462320741399*^9, 3.5864623620739584`*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{
RowBox[{"B", " ",
RowBox[{"(",
RowBox[{"1", "-",
SuperscriptBox["c", "2"]}], ")"}]}], "+",
RowBox[{"2", " ", "A", " ", "c", " ", "d"}]}], "\[Equal]", "0"}], " ",
"\[And]", " ",
RowBox[{
RowBox[{
RowBox[{"2", " ", "c", " ", "C"}], "-",
RowBox[{"B", " ", "d"}]}], "\[Equal]", "0"}]}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.48070534977779*^9, {3.4928296953212276`*^9, 3.492829707041244*^9},
3.4941724084687696`*^9, 3.4941724567488375`*^9, {3.4941737492506466`*^9,
3.4941737506706486`*^9}, {3.494173966810951*^9, 3.494174007671008*^9}, {
3.4941741326011834`*^9, 3.4941741425911975`*^9}, {3.4941767936905165`*^9,
3.494176809630539*^9}, {3.4941773316412697`*^9, 3.494177333751273*^9}, {
3.4941891756608777`*^9, 3.494189178765283*^9}, {3.494196711119521*^9,
3.4941967113535213`*^9}, {3.4941972738717093`*^9,
3.4941972799089203`*^9}, {3.49420053403185*^9, 3.494200549361871*^9}, {
3.5549127564596815`*^9, 3.5549127564596815`*^9}, {3.554913675900969*^9,
3.554913675900969*^9}, {3.5549163276946816`*^9, 3.5549163278646812`*^9}, {
3.5549327082264223`*^9, 3.554932709466424*^9}, {3.555113852377147*^9,
3.5551138579971547`*^9}, {3.555197867819059*^9, 3.555197867819059*^9}, {
3.585374439426382*^9, 3.585374439629182*^9}, {3.585420359109681*^9,
3.585420359109681*^9}, {3.585967936400669*^9, 3.585967936400669*^9}, {
3.5860197427191615`*^9, 3.5860197427191615`*^9}, {3.5860197907617316`*^9,
3.5860197907617316`*^9}, {3.586197622366931*^9, 3.5861976233019323`*^9}, {
3.586197763232137*^9, 3.586197763232137*^9}, {3.5861980020249853`*^9,
3.5861980020249853`*^9}, {3.5864624154265347`*^9,
3.5864624154265347`*^9}, {3.587063563138755*^9, 3.587063563138755*^9}, {
3.751387772122633*^9, 3.751387772122633*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"A", "+",
RowBox[{"B", " ", "x"}], "+",
RowBox[{"C", " ",
SuperscriptBox["x", "2"]}]}], ")"}], "p"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}], "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox["1", "d"]}]}],
RowBox[{"Subst", "[",
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["C",
SuperscriptBox["d", "2"]]}], "+",
FractionBox[
RowBox[{"C", " ",
SuperscriptBox["x", "2"]}],
SuperscriptBox["d", "2"]]}], ")"}], "p"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"ArcCosh", "[", "x", "]"}]}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}]}]}], ",", "x", ",",
RowBox[{"c", "+",
RowBox[{"d", " ", "x"}]}]}], "]"}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579734230976`*^9, 3.4796580026851745`*^9}, {
3.479658101347043*^9, 3.479658102348483*^9}, {3.4796582237129965`*^9,
3.4796582279090304`*^9}, {3.4796611944647284`*^9, 3.4796612203719807`*^9},
3.4796613933206687`*^9, {3.4796614761798143`*^9, 3.4796614777420607`*^9},
3.4796618658000607`*^9, {3.4796619856624146`*^9, 3.4796619866938972`*^9}, {
3.4796645712002354`*^9, 3.4796645805536847`*^9}, 3.4796646283424015`*^9, {
3.4796867206148047`*^9, 3.4796867206148047`*^9}, {3.479687667676613*^9,
3.479687667926973*^9}, 3.480705232098576*^9, {3.49400087421271*^9,
3.49400087421371*^9}, {3.494022456770984*^9, 3.4940224580430565`*^9}, {
3.494179204577314*^9, 3.4941792454181857`*^9}, {3.5548438228296413`*^9,
3.5548438799881415`*^9}, {3.5548439151370025`*^9, 3.554843915449003*^9}, {
3.5548454415728674`*^9, 3.5548454423996687`*^9}, {3.554845575046702*^9,
3.554845575826703*^9}, 3.554845643328821*^9, {3.5548464738746758`*^9,
3.5548465413759937`*^9}, {3.5548466459273777`*^9, 3.5548466842878447`*^9},
3.5548705598041754`*^9, 3.585340240067041*^9, 3.585362906443381*^9, {
3.5853741744131165`*^9, 3.5853742167515907`*^9}, {3.5853744477411966`*^9,
3.5853744745888433`*^9}, {3.5853745336349473`*^9, 3.585374553384582*^9}, {
3.585374830628269*^9, 3.5853748604867215`*^9}, {3.585374917036821*^9,
3.5853749190492244`*^9}, {3.585375724587839*^9, 3.5853757577846975`*^9}, {
3.5853758112303915`*^9, 3.5853758523052635`*^9}, {3.585375887342925*^9,
3.58537593571861*^9}, {3.585420237476267*^9, 3.585420255447499*^9}, {
3.585966868449127*^9, 3.5859668699241295`*^9}, {3.5859680624333506`*^9,
3.5859681067934146`*^9}, {3.5859681684135036`*^9, 3.585968193358539*^9}, {
3.5860179428590784`*^9, 3.586017945559082*^9}, {3.58601981703427*^9,
3.5860198180442715`*^9}, {3.5860199115244064`*^9,
3.5860199336019382`*^9}, {3.586197262938888*^9, 3.586197262958888*^9}, {
3.586198002644986*^9, 3.586198003179987*^9}, 3.5861980710775857`*^9,
3.5861981024851313`*^9, {3.586462435591564*^9, 3.586462462156602*^9}, {
3.5864625066916656`*^9, 3.586462507501667*^9}, {3.5868101136166615`*^9,
3.5868101136322613`*^9}, 3.5870634994786663`*^9, {3.7513874863442874`*^9,
3.751387486789313*^9}, 3.751387793242841*^9},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"A_.", "+",
RowBox[{"B_.", "*", "x_"}], "+",
RowBox[{"C_.", "*",
RowBox[{"x_", "^", "2"}]}]}], ")"}], "^", "p_."}], "*",
RowBox[{
RowBox[{"(",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*",
RowBox[{"ArcCosh", "[",
RowBox[{"c_", "+",